-- Initial dnf.cabal generated by cabal init.  For further documentation, 
-- see http://haskell.org/cabal/users-guide/

name:                dnf
version:             0.1.0.0
synopsis:
    Disjunctive normal form representation and manipulation functions.
description:
    A collection of representations and functions to do useful things with DNF
    formulae.         
license:             GPL-3
license-file:        LICENSE
author:              Koz Ross
maintainer:          koz.ross@retro-freedom.nz
copyright:           Copyright: (C) 2016 Koz Ross
stability:           alpha
category:            Data
build-type:          Simple
extra-source-files:  ChangeLog.md
cabal-version:       >=1.10

library
  exposed-modules:     Data.Logic.DNF   
  default-extensions:  NoImplicitPrelude, OverloadedStrings
  ghc-options:         -O2
  build-depends:       base >= 4.9 && < 4.10,
                       basic-prelude >= 0.5.2 && < 0.5.3,
                       containers >= 0.5.7.1 && < 0.5.7.2,
                       QuickCheck >= 2.8.2 && < 2.8.3,
                       extra >= 1.4.10 && < 1.4.11
  hs-source-dirs:      src
  default-language:    Haskell2010

Test-Suite test-dnf
  type:                detailed-0.9
  test-module:         Test
  default-extensions:  OverloadedStrings
  ghc-options:         -O2
  build-depends:       base >= 4.9 && < 4.10,
                       dnf >= 0.1.0.0 && < 0.1.0.1,
                       Cabal >= 1.24.0.0 && < 1.24.0.1,
                       basic-prelude >= 0.5.2 && < 0.5.3,
                       QuickCheck >= 2.8.2 && < 2.8.3
  hs-source-dirs:      test
  default-language:    Haskell2010

Benchmark time-dnf
  type:                exitcode-stdio-1.0
  main-is:             Time.hs
  default-extensions:  NoImplicitPrelude, OverloadedStrings
  ghc-options:         -O2
  build-depends:       base >= 4.9 && < 4.10,
                       dnf >= 0.1.0.0 && < 0.1.0.1,
                       criterion >= 1.1.1.0 && < 1.1.1.1,
                       basic-prelude >= 0.5.2 && < 0.5.3,
                       QuickCheck >= 2.8.2 && < 2.8.3
  hs-source-dirs:      bench
  default-language:    Haskell2010

Benchmark space-dnf
  type:                exitcode-stdio-1.0
  main-is:             Space.hs
  default-extensions:  NoImplicitPrelude, OverloadedStrings
  ghc-options:         -O2
  build-depends:       base >= 4.9 && < 4.10,
                       dnf >= 0.1.0.0 && < 0.1.0.1,
                       weigh >= 0.0.3 && < 0.0.4,
                       basic-prelude >= 0.5.2 && < 0.5.3,
                       QuickCheck >= 2.8.2 && < 2.8.3
  hs-source-dirs:      bench
  default-language:    Haskell2010
